Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
221	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
222	Chief Expert in Geology Applied to Underground Construction The Geological Survey of Finland (GTK) is one of the leading geosciences research centres in Europe. We are seeking a skilled, collaborative-minded and enthusia Add to Reading List Source URL: www.eurogeosurveys.org Language: English - Date: 2016-03-02 04:10:08 Software Computing Computer programming Cross-platform software GNOME GTK+ Motivation Geological Survey of Finland GTK Expert Mail
223	Perl Lesson 1 L415 / L615 FallObtain a copy of Perl • Mac/Unix/Linux: should already be installed • Windows: see, e.g., http://www.perl.org/get.html Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-09-01 13:24:46 Software engineering Computer programming Software Cross-platform software Perl Scripting languages High-level programming languages Comment Entry point Outline of Perl Perl module
224	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML
225	RScheme The Implementation Donovan Kolbly RS Add to Reading List Source URL: www.rscheme.org Language: English - Date: 2014-10-18 11:53:03 Software engineering Computer programming Computing Functional languages Procedural programming languages Cross-platform software Object-oriented programming languages Lisp Readevalprint loop Eval Scheme D
226	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Software bugs Computer programming Software engineering Computing Buffer overflow Stack Arbitrary code execution Subroutine Stack buffer overflow
227	TotalView® for HPCSupported Platforms Versions Interpret version information in the following ways: • Add to Reading List Source URL: docs.roguewave.com Language: English - Date: 2016-07-29 14:30:54 Computing Computer programming Software Parallel computing Debuggers Compilers Integrated development environments Application programming interfaces MPICH Computer cluster OpenMP SUSE Linux Enterprise Server
228	Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Computing Functional languages Programming paradigms Prolog Interpreter Escher Programming language Declarative programming APL
229	HOTEL ADDRESS HOTEL INFORMATION Contact Details Add to Reading List Source URL: www.fercap-sidcer.org Language: English - Date: 2014-09-18 11:23:43 Software engineering Computing Computer programming Tagaytay PHP
230	Second International Conference on Multiagent SystemsDistributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Makoto Yokoo Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Mathematics Constraint satisfaction problem Constraint satisfaction Algorithm Shortest path problem Theoretical computer science Min-conflicts algorithm Distributed constraint optimization

UPDATE